#include <stdio.h>

int main() {
    int month;
    scanf("%d", &month);
    if (month == 1 || month == 2 || month == 3) {
        printf("Spring\n");
    } else if (month >= 4 && month <= 6) {
        printf("Summer\n");
    } else if (month > 6 && month < 10) {
        printf("Autumn\n");
    } else if (month >= 10 && month <=12) {
        printf("Winter\n");
    } else {
        printf("Month value is error.");
    }
        
    return 0;
}
